Rybalchenko, Andrey : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (54)
Les plus populaires
Liste
- Liste
- Tableau

1

A validated LC–MS/MS method for fast detection of thiodiglycolic acid in aqueous samples

Rodin, Igor, Braun, Arcady, Stavrianidi, Andrey, Baygildiev, Timur, Rybalchenko, Igor, Shpigun, Oleg

Journal:

International Journal of Environmental & Analytical Chemistry

Année:

2016

Langue:

english

Fichier:

PDF, 1.24 MB

english, 2016

2

New Techniques for Nerve Agent Oxidation Products Determination in Environmental Water by High-Performance Liquid Chromatography-Mass Spectrometry (HPLC-MS) and Capillary Electrophoresis (CE) with Direct Ultraviolet (UV) Detection

Rodin, Igor, Stavrianidi, Andrey, Smirnov, Roman, Braun, Arkady, Shpigun, Oleg, Rybalchenko, Igor

Journal:

Environmental Forensics

Année:

2013

Langue:

english

Fichier:

PDF, 937 KB

english, 2013

3

[IEEE 2010 IEEE 23rd Computer Security Foundations Symposium (CSF) - Edinburgh, United Kingdom (2010.07.17-2010.07.19)] 2010 23rd IEEE Computer Security Foundations Symposium - Approximation and Randomization for Quantitative Information-Flow Analysis

Köpf, Boris, Rybalchenko, Andrey

Année:

2010

Langue:

english

Fichier:

PDF, 253 KB

english, 2010

4

Constraint solving for interpolation

Andrey Rybalchenko, Viorica Sofronie-Stokkermans

Journal:

Journal of Symbolic Computation

Année:

2010

Langue:

english

Fichier:

PDF, 547 KB

english, 2010

5

Model checking Duration Calculus: a practical approach

Roland Meyer, Johannes Faber, Jochen Hoenicke, Andrey Rybalchenko

Journal:

Formal Aspects of Computing

Année:

2008

Langue:

english

Fichier:

PDF, 469 KB

english, 2008

6

Summarization for termination: no return!

Byron Cook, Andreas Podelski, Andrey Rybalchenko

Journal:

Formal Methods in System Design

Année:

2009

Langue:

english

Fichier:

PDF, 520 KB

english, 2009

7

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 7148 || Teaching Semantics with a Proof Assistant: No More LSD Trip Proofs

Kuncak, Viktor, Rybalchenko, Andrey

Année:

2012

Langue:

english

Fichier:

PDF, 251 KB

english, 2012

8

[Lecture Notes in Computer Science] Computer Science - Theory and Applications Volume 5675 || The Reachability Problem over Infinite Graphs

Frid, Anna, Morozov, Andrey, Rybalchenko, Andrey, Wagner, Klaus W.

Année:

2009

Langue:

english

Fichier:

PDF, 135 KB

english, 2009

9

Lewisite metabolites detection in urine by liquid chromatography–tandem mass spectrometry

Igor Rodin, Arkady Braun, Andrey Stavrianidi, Oleg Shpigun, Igor Rybalchenko

Journal:

Journal of Chromatography B

Année:

2011

Langue:

english

Fichier:

PDF, 1.65 MB

english, 2011

10

[Lecture Notes in Computer Science] Computer Science - Theory and Applications Volume 5675 || Concatenation of Regular Languages and Descriptional Complexity

Frid, Anna, Morozov, Andrey, Rybalchenko, Andrey, Wagner, Klaus W.

Année:

2009

Langue:

english

Fichier:

PDF, 272 KB

english, 2009

11

From tests to proofs

Ashutosh Kumar Gupta, Rupak Majumdar, Andrey Rybalchenko

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Année:

2013

Langue:

english

Fichier:

PDF, 518 KB

english, 2013

12

[IEEE 2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2009.09.26-2009.09.29)] 2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Automated Methods for Proving Program Termination and Liveness

Rybalchenko, Andrey

Année:

2009

Langue:

english

Fichier:

PDF, 136 KB

english, 2009

13

[IEEE 2009 30th IEEE Symposium on Security and Privacy (SP) - Oakland, CA, USA (2009.05.17-2009.05.20)] 2009 30th IEEE Symposium on Security and Privacy - Automatic Discovery and Quantification of Information Leaks

Backes, Michael, Köpf, Boris, Rybalchenko, Andrey

Année:

2009

Langue:

english

Fichier:

PDF, 247 KB

english, 2009

14

Hydrophilic Interaction Liquid Chromatography Tandem Mass Spectrometry Methylphosphonic Acid Determination in Water Samples after Derivatization withp-Bromophenacyl Bromide

Rodin, Igor, Baygildiev, Timur, Stavrianidi, Andrey, Braun, Arcady, Rybalchenko, Igor, Shpigun, Oleg

Journal:

Chromatographia

Année:

2015

Langue:

english

Fichier:

PDF, 622 KB

english, 2015

15

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 7148 ||

Kuncak, Viktor, Rybalchenko, Andrey

Année:

2012

Langue:

english

Fichier:

PDF, 5.87 MB

english, 2012

16

Structure and Fatigue Properties of Cr-Ni-Ti Austenitic Steel after Equal Channel Angular Pressing

Dobatkin, Sergey V., Skrotzki, Werner, Terent’ev, Vladimir, Rybalchenko, Olga, Belyakov, Andrey, Prosvirnin, Dmitry, Zolotarev, Eugenie

Journal:

Materials Science Forum

Année:

2014

Langue:

english

Fichier:

PDF, 1.39 MB

english, 2014

17

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 7148 || Model Checking Information Flow in Reactive Systems

Kuncak, Viktor, Rybalchenko, Andrey

Année:

2012

Langue:

english

Fichier:

PDF, 301 KB

english, 2012

18

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 7148 || Loop Invariant Symbolic Execution for Parallel Programs

Kuncak, Viktor, Rybalchenko, Andrey

Année:

2012

Langue:

english

Fichier:

PDF, 303 KB

english, 2012

19

[Lecture Notes in Computer Science] Computer Science - Theory and Applications Volume 5675 || An Optimal Bloom Filter Replacement Based on Matrix Solving

Frid, Anna, Morozov, Andrey, Rybalchenko, Andrey, Wagner, Klaus W.

Année:

2009

Langue:

english

Fichier:

PDF, 195 KB

english, 2009

20

[Lecture Notes in Computer Science] Verified Software: Theories, Tools, Experiments Volume 8164 || Formal Verification of Loop Bound Estimation for WCET Analysis

Cohen, Ernie, Rybalchenko, Andrey

Année:

2014

Langue:

english

Fichier:

PDF, 603 KB

english, 2014

21

[Lecture Notes in Computer Science] Computer Science - Theory and Applications Volume 5675 || On Models of a Nondeterministic Computation

Frid, Anna, Morozov, Andrey, Rybalchenko, Andrey, Wagner, Klaus W.

Année:

2009

Langue:

english

Fichier:

PDF, 191 KB

english, 2009

22

Proving program termination

Cook, Byron, Podelski, Andreas, Rybalchenko, Andrey

Journal:

Communications of the ACM

Année:

2011

Langue:

english

Fichier:

PDF, 3.55 MB

english, 2011

23

[ACM Press the 32nd ACM SIGPLAN conference - San Jose, California, USA (2011.06.04-2011.06.08)] Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation - PLDI '11 - Separation logic + superposition calculus = heap theorem prover

Navarro Pérez, Juan Antonio, Rybalchenko, Andrey

Année:

2011

Langue:

english

Fichier:

PDF, 596 KB

english, 2011

24

[ACM Press the 2006 ACM SIGPLAN conference - Ottawa, Ontario, Canada (2006.06.11-2006.06.14)] Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation - PLDI '06 - Termination proofs for systems code

Cook, Byron, Podelski, Andreas, Rybalchenko, Andrey

Année:

2006

Langue:

english

Fichier:

PDF, 175 KB

english, 2006

25

[ACM Press the 35th annual ACM SIGPLAN-SIGACT symposium - San Francisco, California, USA (2008.01.07-2008.01.12)] Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '08 - Proving non-termination

Gupta, Ashutosh, Henzinger, Thomas A., Majumdar, Rupak, Rybalchenko, Andrey, Xu, Ru-Gang

Année:

2008

Langue:

english

Fichier:

PDF, 265 KB

english, 2008

26

[ACM Press the 2007 ACM SIGPLAN conference - San Diego, California, USA (2007.06.10-2007.06.13)] Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation - PLDI '07 - Path invariants

Beyer, Dirk, Henzinger, Thomas A., Majumdar, Rupak, Rybalchenko, Andrey

Année:

2007

Langue:

english

Fichier:

PDF, 212 KB

english, 2007

27

Proving thread termination

Cook, Byron, Podelski, Andreas, Rybalchenko, Andrey

Journal:

ACM SIGPLAN Notices

Année:

2007

Langue:

english

Fichier:

PDF, 283 KB

english, 2007

28

[ACM Press the 38th annual ACM SIGPLAN-SIGACT symposium - Austin, Texas, USA (2011.01.26-2011.01.28)] Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '11 - Predicate abstraction and refinement for verifying multi-threaded programs

Gupta, Ashutosh, Popeea, Corneliu, Rybalchenko, Andrey

Année:

2011

Langue:

english

Fichier:

PDF, 567 KB

english, 2011

29

[ACM Press the 34th annual ACM SIGPLAN-SIGACT symposium - Nice, France (2007.01.17-2007.01.19)] Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '07 - Proving that programs eventually do something good

Cook, Byron, Gotsman, Alexey, Podelski, Andreas, Rybalchenko, Andrey, Vardi, Moshe Y.

Année:

2007

Langue:

english

Fichier:

PDF, 633 KB

english, 2007

30

[ACM Press the 13th international ACM SIGPLAN symposium - Odense, Denmark (2011.07.20-2011.07.22)] Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming - PPDP '11 - Towards automatic synthesis of software verification tools

Rybalchenko, Andrey

Année:

2011

Langue:

english

Fichier:

PDF, 315 KB

english, 2011

31

[ACM Press the 41st ACM SIGPLAN-SIGACT Symposium - San Diego, California, USA (2014.01.22-2014.01.24)] Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 - A constraint-based approach to solving games on infinite graphs

Beyene, Tewodros, Chaudhuri, Swarat, Popeea, Corneliu, Rybalchenko, Andrey

Année:

2014

Langue:

english

Fichier:

PDF, 584 KB

english, 2014

32

[ACM Press the 2014 International SPIN Symposium - San Jose, CA, USA (2014.07.21-2014.07.23)] Proceedings of the 2014 International SPIN Symposium on Model Checking of Software - SPIN 2014 - CTL+FO verification as constraint solving

Beyene, Tewodros A., Brockschmidt, Marc, Rybalchenko, Andrey

Année:

2014

Langue:

english

Fichier:

PDF, 309 KB

english, 2014

33

[ACM Press the 36th annual ACM SIGPLAN-SIGACT symposium - Savannah, GA, USA (2009.01.21-2009.01.23)] Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '09 - Verifying liveness for asynchronous programs

Ganty, Pierre, Majumdar, Rupak, Rybalchenko, Andrey

Année:

2008

Langue:

english

Fichier:

PDF, 316 KB

english, 2008

34

[ACM Press the 2007 ACM SIGPLAN conference - San Diego, California, USA (2007.06.10-2007.06.13)] Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation - PLDI '07 - Proving thread termination

Cook, Byron, Podelski, Andreas, Rybalchenko, Andrey

Année:

2007

Langue:

english

Fichier:

PDF, 283 KB

english, 2007

35

Transition predicate abstraction and fair termination

Podelski, Andreas, Rybalchenko, Andrey

Journal:

ACM Transactions on Programming Languages and Systems

Année:

2007

Langue:

english

Fichier:

PDF, 525 KB

english, 2007

36

[ACM Press the 33rd ACM SIGPLAN conference - Beijing, China (2012.06.11-2012.06.16)] Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation - PLDI '12 - Synthesizing software verifiers from proof rules

Grebenshchikov, Sergey, Lopes, Nuno P., Popeea, Corneliu, Rybalchenko, Andrey

Année:

2012

Langue:

english

Fichier:

PDF, 608 KB

english, 2012

37

[IEEE 2014 Formal Methods in Computer-Aided Design (FMCAD) - Lausanne, Switzerland (2014.10.21-2014.10.24)] 2014 Formal Methods in Computer-Aided Design (FMCAD) - Reduction for compositional verification of multi-threaded programs

Popeea, Corneliu, Rybalchenko, Andrey, Wilhelm, Andreas

Année:

2014

Langue:

english

Fichier:

PDF, 633 KB

english, 2014

38

Applying Prolog to develop distributed systems

LOPES, NUNO P., NAVARRO, JUAN A., RYBALCHENKO, ANDREY, SINGH, ATUL

Journal:

Theory and Practice of Logic Programming

Année:

2010

Langue:

english

Fichier:

PDF, 528 KB

english, 2010

39

Preface: Special Issue on Interpolation

Kroening, Daniel, Rybalchenko, Andrey

Journal:

Journal of Automated Reasoning

Année:

2016

Langue:

english

Fichier:

PDF, 303 KB

english, 2016

40

Proving that programs eventually do something good

Cook, Byron, Gotsman, Alexey, Podelski, Andreas, Rybalchenko, Andrey, Vardi, Moshe Y.

Journal:

ACM SIGPLAN Notices

Année:

2007

Langue:

english

Fichier:

PDF, 633 KB

english, 2007

41

Separation logic + superposition calculus = heap theorem prover

Navarro Pérez, Juan Antonio, Rybalchenko, Andrey

Journal:

ACM SIGPLAN Notices

Année:

2012

Langue:

english

Fichier:

PDF, 596 KB

english, 2012

42

Termination proofs for systems code

Cook, Byron, Podelski, Andreas, Rybalchenko, Andrey

Journal:

ACM SIGPLAN Notices

Année:

2006

Langue:

english

Fichier:

PDF, 175 KB

english, 2006

43

Proving non-termination

Gupta, Ashutosh, Henzinger, Thomas A., Majumdar, Rupak, Rybalchenko, Andrey, Xu, Ru-Gang

Journal:

ACM SIGPLAN Notices

Année:

2008

Langue:

english

Fichier:

PDF, 265 KB

english, 2008

44

Path invariants

Beyer, Dirk, Henzinger, Thomas A., Majumdar, Rupak, Rybalchenko, Andrey

Journal:

ACM SIGPLAN Notices

Année:

2007

Langue:

english

Fichier:

PDF, 212 KB

english, 2007

45

From Corannulene to Indacenopicene: Effect of Carbon Framework Topology on Aromaticity and Reduction Limits

Spisak, Sarah N., Li, Jingbai, Rogachev, Andrey Yu., Wei, Zheng, Papaianina, Olena, Amsharov, Konstantin, Rybalchenko, Alexey V., Goryunkov, Alexey A., Petrukhina, Marina A.

Journal:

Organometallics

Année:

2016

Langue:

english

Fichier:

PDF, 3.47 MB

english, 2016

46

Verifying liveness for asynchronous programs

Ganty, Pierre, Majumdar, Rupak, Rybalchenko, Andrey

Journal:

ACM SIGPLAN Notices

Année:

2009

Langue:

english

Fichier:

PDF, 316 KB

english, 2009

47

Separation logic + superposition calculus = heap theorem prover

Navarro Pérez, Juan Antonio, Rybalchenko, Andrey

Journal:

ACM SIGPLAN Notices

Année:

2011

Langue:

english

Fichier:

PDF, 596 KB

english, 2011

48

Predicate abstraction and refinement for verifying multi-threaded programs

Gupta, Ashutosh, Popeea, Corneliu, Rybalchenko, Andrey

Journal:

ACM SIGPLAN Notices

Année:

2011

Langue:

english

Fichier:

PDF, 567 KB

english, 2011

49

"Dilute-and-shoot" rapid-separation liquid chromatography tandem mass spectrometry method for fast detection of thiodiglycolic acid in urine

Baygildiev, Timur, Braun, Arcady, Stavrianidi, Andrey, Rodin, Igor, Shpigun, Oleg, Rybalchenko, Igor, Ananieva, Irina

Journal:

European Journal of Mass Spectrometry

Année:

2015

Langue:

english

Fichier:

PDF, 627 KB

english, 2015

50

Rapid IC-MS/MS determination of methylphosphonic acid in urine of rats exposed to organophosphorus nerve agents

Baygildiev, Timur, Zatirakha, Alexandra, Rodin, Igor, Braun, Arcady, Stavrianidi, Andrey, Koryagina, Nadezhda, Rybalchenko, Igor, Shpigun, Oleg

Journal:

Journal of Chromatography B

Année:

2017

Langue:

english

Fichier:

PDF, 698 KB

english, 2017